Abstract logic - PDFSEARCH.IO - Document Search Engine

Abstract logic
Results: 1693

#	Item
901	S UBMISSION G UIDELINES 15 th CONGRESS OF LOGIC, METHODOLOGY, AND PHILOSOPHY OF SCIENCE (CLMPS 2015) Add to Reading List Source URL: clmps.helsinki.fi Language: English - Date: 2014-09-16 05:30:14 Digital media Grants Research Computing Electronic submission Academia Abstract Portable Document Format Abstract management Knowledge Academic publishing Competitions
902	Journal of Functional Programming http://journals.cambridge.org/JFP Additional services for Journal of Functional Programming: Email alerts: Click here Subscriptions: Click here Commercial reprints: Click Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2013-03-29 19:34:46 Computer science Logic in computer science Programming language semantics Computability theory Formal methods Operational semantics Lambda calculus Denotational semantics Abstract interpretation Theoretical computer science Models of computation Applied mathematics
903	Math 222: Introduction to Abstract Mathematics Professor: Joan E. Hart 120 Swart[removed] Add to Reading List Source URL: www.uwosh.edu Language: English - Date: 2014-05-22 14:12:29 Algebra Number TI-89 series Mathematical proof IB Group 5 subjects Mathematics Programmable calculators Mathematical logic
904	Integrating Formal Program Verification with Testing Cyrille Comar, Johannes Kanig and Yannick Moy AdaCore, 46 rue d’Amsterdam, F[removed]Paris (France) {comar,kanig,moy}@adacore.com Abstract Verification activities mand Add to Reading List Source URL: www.open-do.org Language: English - Date: 2011-12-14 10:38:39 Logic in computer science SPARK Subroutine Postcondition Formal methods Formal verification KeY Precondition Global variable Software engineering Computer programming Computing
905	Logic in General Philosophy of Science: Old Things and New Things Hannes Leitgeb Departments of Philosophy and Mathematics University of Bristol Abstract. This is a personal, incomplete, and very informal take on the rol Add to Reading List Source URL: www.mcmp.philosophie.uni-muenchen.de Language: English - Date: 2014-01-14 06:12:06 Philosophy of science Philosophical logic Model theory Epistemology Formal languages Philosophy of mathematics Logical positivism Rudolf Carnap Interpretation Logic Science Philosophy
906	Stabilizing alethic pluralism∗ Nikolaj Jang Pedersen Abstract Alethic pluralism is the view that the nature of truth is not uniform across domains. There are several ways of being true (T1[removed]Tn ). A simple argument Add to Reading List Source URL: www.nikolajpedersen.com Language: English - Date: 2010-02-17 05:11:07 Metaphysics Mathematical logic Propositional calculus Ontology Predicate logic Predicate Truth Proposition Property Logic Theories of truth Philosophy
907	Exogenous Semantics Approach to Enriching Logics Paulo Mateus, Amílcar Sernadas, and Cristina Sernadas Abstract. The exogenous semantics approach to enriching a logic consists in defining each model in the enrichment as Add to Reading List Source URL: centria.di.fct.unl.pt Language: English - Date: 2009-09-27 08:27:05 Non-classical logic Philosophical logic Modal logic Kripke semantics Quantum logic Probabilistic logic Propositional variable Well-formed formula Valuation Logic Mathematical logic Propositional calculus
908	How Deep is the Distinction between A Priori and A Posteriori Knowledge?1 Timothy Williamson Abstract: The paper argues that, although a distinction between a priori and a posteriori knowledge (or justification) can be Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2011-12-12 06:31:04 Knowledge Dichotomies Philosophical logic Kantianism A priori and a posteriori Traditional logic A posteriori Empiricism A priori Philosophy Epistemology Justification
909	Knowledge Norms and Assessing Them Well Abstract Jonathan Ichikawa[removed]argues that the standard counterexamples to the knowledge norm of practical reasoning are no such thing. More precisely, he argues that those all Add to Reading List Source URL: www.cmc.edu Language: English - Date: 2014-12-30 20:56:56 Arguments Thought Belief Epistemology Reason Criticism Truth Philosophy Logic Reasoning
910	INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY[removed]), #A54 HEREDITARY TILING SETS OF THE INTEGERS S. Eigen Department of Mathematics, Northeastern University, Boston MA, 02115 Add to Reading List Source URL: www.emis.de Language: English - Date: 2008-12-03 12:33:02 Algebraic number theory Combinatorics Integer sequences Elementary number theory Integer Combinatory logic Ring Factorial Binomial coefficient Mathematics Abstract algebra Ring theory

UPDATE